Alain - PDFSEARCH.IO - Document Search Engine

Alain
Results: 2917

#	Item
951	CAL: ART AND LIFE Program for De-Turnstilisation of Life Itself, Contra Filé, Sao Paulo, 2004 This is not a protest. Repeat. This is not Add to Reading List Source URL: www.zannybegg.com Language: English - Date: 2011-04-17 08:33:05 Social philosophy Culture Oliver Ressler Alain Badiou Mikhail Bakhtin Anti-globalization movement Protest Demonstration Situationist International Philosophy Activism Modern art
952	Greedy Regular Expression Matching Alain Frisch1,2,? and Luca Cardelli3 2 1 ´ Ecole Normale Sup´erieure (Paris) Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Software engineering Computing Models of computation Nondeterministic finite automaton Regular language FO Regular expression J Deterministic finite automaton Automata theory Formal languages Theoretical computer science
953	Semanti subtyping: dealing set-theoreti ally with fun tion, union, interse tion, and negation types ALAIN FRISCH Lexi and Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Programming language theory Data types Object-oriented programming Polymorphism Subtype polymorphism Type system Universal type System F Curry Software engineering Type theory Computing
954	OCaml + XDuce Alain Frisch INRIA Rocquencourt Abstract Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:27 Programming language theory OCaml Type system ML Subtype polymorphism Type inference System F Lambda calculus Type safety Software engineering Type theory Computing
955	Semantic Subtyping Alain Frisch (ENS Paris) Giuseppe Castagna (ENS Paris) ´ Veronique Benzaken (LRI U Paris Sud) Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:32 Data types Object-oriented programming Programming language theory Polymorphism Subtype polymorphism CDuce E Type system Semantics Type theory Computing Software engineering
956	Joint ICALP-PPDP ’05 Keynote Talk A Gentle Introduction to Semantic Subtyping Giuseppe Castagna Alain Frisch Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:34 Theoretical computer science Object-oriented programming Programming language theory Polymorphism Subtype polymorphism International Colloquium on Automata Languages and Programming Type system E Type theory Data types Software engineering
957	Recognizing regular tree languages with static information Alain Frisch (ENS Paris) PLAN-X 2004 p.1/22 Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:34 Mathematics Tree automaton Tree traversal Pushdown automaton Deterministic automaton Formal language Regular expression Muller automaton Automata theory Theoretical computer science Computer science
958	Objec&fs)et)) )résultats)scien&ﬁques)de)PICARD) Alain&Hauchecorne& et&l’équipe&scien4ﬁque&et&technique&de&PICARD& & Add to Reading List Source URL: smsc.cnes.fr Language: French - Date: 2014-04-08 09:54:36
959	Greedy regular expression matching Alain Frisch INRIA Luca Cardelli MSRC Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:32 Pattern matching Regular expressions Procedural programming languages Data types Type theory Subtype polymorphism TRE ALGOL 68 Luca Cardelli Software engineering Computing Computer programming
960	Greedy regular expression matching Alain Frisch (ENS Paris) Luca Cardelli (MSR Cambridge) PLAN-X 2004 p.1/16 Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:33 Procedural programming languages Object-oriented programming Data types C++ Regular expression ALGOL 68 Iterator C++ classes Set Software engineering Computing Computer programming

UPDATE